Formal verification - PDFSEARCH.IO - Document Search Engine

Formal verification
Results: 829

#	Item
151	Verifolio:)A)Portfolio)for Software)Verification Yulia Demyanova,.Thomas) Pani, Helmut.Veith,.Florian.Zuleger Vienna.University.of.Technology AI4FM.2015.D.September. 1,.2015 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-09-02 07:29:35 Software Theoretical computer science Numerical software BLAST model checker CPAchecker Solver Blast Formal methods Logic in computer science
152	20 Years of MIFARE From CRYPTO1 to Formal Verification Karin Greimel & Günther Lackner Business Unit Identification NXP Semiconductors Add to Reading List Source URL: rfidsec2013.iaik.tugraz.at Language: English - Date: 2013-08-02 05:37:16
153	Commoditizing Verification Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2013-10-15 23:23:06 Formal methods Logic in computer science Systems engineering Theoretical computer science Formal verification ESC/Java Verification Satisfiability modulo theories
154	Automatic Verification of Cryptographic Protocols in the Formal Model Automatic Verifier ProVerif Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2012-10-01 07:25:58
155	Automatic verification of privacy properties in the applied pi calculus? St´ephanie Delaune, Mark Ryan, and Ben Smyth Abstract We develop a formal method verification technique for cryptographic protocols. We focus on p Add to Reading List Source URL: www.bensmyth.com Language: English - Date: 2012-05-24 07:24:42
156	A Vision of Collaborative Verification-Driven Engineering of Hybrid Systems Stefan Mitsch 1 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-04-05 06:08:36 Software Theoretical computer science Systems engineering Unified Modeling Language Formal methods Logic in computer science KeY Hybrid system Formal verification First-order logic Proof theory Model checking
157	Formal Verification of Netlog Protocols Meixian Chen Dpt of Computer Science, Shanghai Jiao Tong University Shanghai, China Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-14 09:29:57
158	Endgame Tables Software Errors Formal Verification Add to Reading List Source URL: www.gilith.com Language: English - Date: 2013-04-26 22:56:29
159	Formal Verification of Coalescing Graph-Coloring Register Allocation Sandrine Blazy1 , Benoˆıt Robillard2 , and Andrew W. Appel3 1 IRISA - Universit´e Rennes 1 Add to Reading List Source URL: www.irisa.fr Language: English - Date: 2010-05-06 09:01:52
160	Understanding, formal verification, and the philosophy of mathematics∗ Jeremy Avigad August 23, 2010 Abstract The philosophy of mathematics has long been concerned with determining the means that are appropriate for ju Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-02-03 06:01:17

UPDATE